$\forall$$A$:Type, $I$:MaInterface($A$), $i$:Id.
\\[0ex]($i$ $\in$ ma{-}interface{-}locs($I$)) $\Rightarrow$ (ma{-}interface{-}dom($I$;$i$) $\in$ (\{$k$:Knd$\mid$ $\uparrow$hasloc($k$;$i$)\}  List))